大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Quality, Reliability, Security and Robustness in Heterogeneous Networks [electronic resource] : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

0
索取号：
作者：Zhang、 Xi.、Qiao、 Daji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Global Trends in Information Systems and Software Applications [electronic resource] : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

0
索取号：
作者：Krishna、 P. Venkata.、Babu、 M. Rajasekhara.、Ariwa、 Ezendu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theorie and Applications of Formal Argumentation [electronic resource] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

0
索取号：
作者：Modgil、 Sanjay.、Oren、 Nir.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Approximation and Online Algorithms [electronic resource] : 9th International Workshop, WAOA 2011, Saarbr眉cken, Germany, September 8-9, 2011, Revised Selected Papers

0
索取号：
作者：Solis-Oba、 Roberto.、Persiano、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sakama、 Chiaki.、Sardina、 Sebastian.、Vasconcelos、 Wamberto.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Experimentation in Software Engineering [electronic resource]

0
索取号：
作者：Wohlin、 Claes.、Runeson、 Per.、H枚st、 Martin.、Ohlsson、 Magnus C.、Regnell、 Bj枚rn.、Wessl茅n、 Anders.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

0
索取号：
作者：Collier、 Rem.、Dix、 J眉rgen.、Nov谩k、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data Privacy Management and Autonomous Spontaneus Security [electronic resource] : 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Navarro-Arribas、 Guillermo.、Cuppens-Boulahia、 Nora.、Capitani di Vimercati、 Sabrina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号：
作者：Lara、 Juan.、Zisman、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号：
作者：Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

0
索取号：
作者：Sloane、 Anthony.、A脽mann、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

International Workshop on Evidence-Based Technology Enhanced Learning [electronic resource]

0
索取号：
作者：Vittorini、 Pierpaolo.、Gennari、 Rosella.、Marenzi、 Ivana.、Prieta、 Fernando.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ambient Intelligence - Software and Applications [electronic resource] : 3rd International Symposium on Ambient Intelligence (ISAmI 2012)

0
索取号：
作者：Novais、 Paulo.、Hallenborg、 Kasper.、Tapia、 Dante I.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Birkedal、 Lars.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

0
索取号：
作者：Regnell、 Bj枚rn.、Damian、 Daniela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.